This book constitutes the refereed proceedings of the 19th International Workshop on Computer Science Logic, CSL 2005, held ...
Lee masCoverage includes automated deduction and interactive theorem proving, constructive mathematics and type theory, equational ...
Lee masThis book constitutes the refereed proceedings of the 22nd International Workshop on Computer Science Logic, CSL 2008, held ...
Lee masThe refereed post-proceedings of the International Workshop of the Types Working Group are presented in this volume. The ...
Lee mas